Logic Synthesis Tutorials